The widespread use of algorithms for prediction-based decisions urges us to consider the question of what it means for a given act or practice to be discriminatory. Building upon work by Kusner and colleagues in the field of machine learning, we propose a counterfactual condition as a necessary requirement on discrimination. To demonstrate the philosophical relevance of the proposed condition, we consider two prominent accounts of discrimination in the recent literature, by Lippert-Rasmussen and Hellman respectively, that do not logically imply (...) our condition and show that they face important objections. Specifically, Lippert-Rasmussen’s definition proves to be over-inclusive, as it classifies some acts or practices as discriminatory when they are not, whereas Hellman’s account turns out to lack explanatory power precisely insofar as it does not countenance a counterfactual condition on discrimination. By defending the necessity of our counterfactual condition, we set the conceptual limits for justified claims about the occurrence of discriminatory acts or practices in society, with immediate applications to the ethics of algorithmic decision-making. (shrink)

We present some results related to Zilber’s Exponential-Algebraic Closedness Conjecture, showing that various systems of equations involving algebraic operations and certain analytic functions admit solutions in the complex numbers. These results are inspired by Zilber’s theorems on raising to powers.We show that algebraic varieties which split as a product of a linear subspace of an additive group and an algebraic subvariety of a multiplicative group intersect the graph of the exponential function, provided that they satisfy Zilber’s freeness and rotundity conditions, (...) using techniques from tropical geometry.We then move on to prove a similar theorem, establishing that varieties which split as a product of a linear subspace and a subvariety of an abelian variety A intersect the graph of the exponential map of A (again under the analogues of the freeness and rotundity conditions). The proof uses homology and cohomology of manifolds.Finally, we show that the graph of the modular j-function intersects varieties which satisfy freeness and broadness and split as a product of a Möbius subvariety of a power of the upper-half plane and a complex algebraic variety, using Ratner’s orbit closure theorem to study the images under j of Möbius varieties.Abstract prepared by Francesco Paolo GallinaroE-mail: francesco.gallinaro@mathematik.uni-freiburg.deURL: https://etheses.whiterose.ac.uk/31077/. (shrink)

A correction to this paper has been published: https://doi.org/10.1007/s11229-021-03091-x.

Resenha de Bellucci, Francesco. Charles S. Peirce. Selected Writings on Semiotics, 1894–1912, Berlin, Boston: De Gruyter Mouton, 2020. https://doi.org/10.1515/9783110607390.

This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. Although the list of the considered reasoners is not exhaustive, we believe that our analysis is representative enough to take stock of the current state of the art in the topic. We are interested here in formalizations at the _first-order_ level. Past literature on normative reasoning mostly focuses on the _propositional_ level. However, the propositional level is of little usefulness for (...) concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. Furthermore, we are interested in technologies that are _freely available_ and that can be further investigated and compared by the scientific community. In other words, this paper does not consider technologies only employed in industry and/or whose source code is non-accessible. This paper formalizes a selected use case in the considered reasoners and compares the implementations, also in terms of simulations with respect to shared synthetic datasets. The comparison will highlight that lot of further research still needs to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework, suitable for LegalTech applications. All source codes are freely available at https://github.com/liviorobaldo/compliancecheckers, together with instructions to locally reproduce the simulations. (shrink)

BackgroundPositive psychosocial factors can play an important role in the development of cardiovascular disease. Among them, psychological resilience is defined as the capacity of responding positively to stressful events. Our aim was to assess whether PR is associated with CVD or metabolic disturbances through a systematic review.MethodsWe gathered articles from PubMed, Web of Science, PsycInfo, and Google Scholar up to October 28, 2021. We included articles that were in English, were observational, and had PR examined as exposure. The CVD outcomes (...) were either clinical or metabolic outcomes.ResultsOur literature search identified 3,800 studies, of which 17 met the inclusion criteria. Of them, seven were longitudinal and 10 cross-sectional, and 13 were on adults and four on children. The exposure assessment was heterogeneous, i.e., 12 studies used different kinds of self-administered questionnaires and five used interviews with a psychologist. Regarding outcomes, five studies investigated CVD, seven obesity, one metabolic syndrome, two hypertension, four dyslipidemia, and four diabetes. In longitudinal studies, PR was found to have an inverse association with included outcomes in five studies from the Swedish military conscription cohort but had no association with CVD in a study on African-American women and was associated with slower progression of diabetes in a general population. The cross-sectional studies showed that the prevalence of disease was not associated with PR in many cases but the progression of disease was associated with PR.ConclusionPR seems to have a possibly favorable association with CVD and metabolic disturbances that differs according to the type of outcome and population. Our study limitations are given by the small number of studies available and the heterogeneity in PR measurement.Systematic Review Registration[https://www.crd.york.ac.uk/PROSPERO/display_record.php?RecordID=237109], identifier [CRD42021237109]. (shrink)

Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...) a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

The absence of a universally recognized definition of national minority is perceived as problematic by legal scholars on the international level as well as in domestic jurisdictions [Kymlicka, Will. 2015. Solidarity in diverse societies: Beyond neoliberal multiculturalism and welfare chauvinism. _Comparative Migration Studies_. https://doi.org/10.1186/s40878-015-0017-4, Ringelheim, Julie. 2010. Minority Rights in a Time of Multiculturalism-The Evolving Scope of the Framework Convention on the Protection of National Minorities. _Human rights law review_. https://doi.org/10.1093/hrlr/ngp038, Velázquez, Elisa Ortega. 2017. Minority rights for immigrants: (...) From Multiculturalism to Civic Participation. _Mexican Law Review_, no. 1., Dimitras, Panayote Elias. 2004. _Recognition of minorities in Europe: Protecting rights and dignity_. London: Minority Rights Group International]. National minority under Czech law is defined by the Act on National Minorities, and the definition combines the objective and subjective criteria of Capotorti’s [Capotorti, Francesco. 1977. _Study on the Rights of Persons belonging to Ethnic, Religious and Linguistic Minorities_, UN Document E/CN.4/Sub.2/384/Add.1–7. p. 96] and Deschênes’ [Deschênes, Jules. 1985. _Proposal Concerning a Definition of the Term Minority_. UN Document E/CN.4/Sub.2/1985/31. paragraph 181] definitions. However, the Czech Minority Act makes a distinction between ‘minorities that have traditionally and for a long time resided in the territory of the Czech Republic’ (§§ 8–12) and other minority groups, while there is no explicit criterion for differentiating among these groups objectively. Such absence of clearcut criteria is often relevant when certain minority groups claim unfavourable treatment due to the authorities’ perception of such national groups as being ‘immigrant’ as opposed to ‘autochthonous’. Additionally, recent case-law has shown that the most ‘traditional’ groups residing in the Czech territory, such as Moravians or Silesians, can equally lack state support, while it is typically argued by Courts that such groups lack ‘distinct features’, be it ethnic, linguistic and cultural, from the majority population and thus do not fall under the legal definition of national minorities (Verdict of the Supreme Administrative Court of the Czech Republic, Ref No 7 As 324/2020-42, of 17 August 2021; Verdict of the Regional Court in Brno, Ref No 62 A 35/2020 − 186, of 8 October 2020). This paper combines doctrinal legal analysis with a socio-legal approach. The language of legislative acts and court verdicts is assessed with the methodology of critical discourse analysis, specifically the discourse-historical approach [Reisigl, Martin, and Ruth Wodak. 2015. The Discourse-Historical Approach (DHA). In _Methods of Critical Discourse Studies_, 3rd edition, eds. Ruth Wodak and Michael Meyer, 23–61. London: Sage]. I focus on nomination, predication and argumentation strategies [Wodak, Ruth. 2009. The semiotics of racism: A critical discourse-historical analysis. In _Discourse, of Course: An overview of Research in Discourse studies_, ed. Jan Renkema. 311–326. Amsterdam: John Benjamins Publishing Company] used by the judges in court verdicts and on the role of perceived ‘tradition’ of certain groups’ residence in the territory of the Czech Republic on their access to state support or, on the contrary, their marginalization. It is concluded that the current state of the Czech law does not allow for the spatial dynamics of minority groups, which are mostly apprehended as fixed categories based on the 19th century idea of nation states and on the 1920s perception of the Czechoslovak nation after the breakdown of the Austro-Hungarian empire. Such approach does not allow for accommodating the rights for more up-to-date categories or for critical revisiting of the catalogue of minority groups as it was defined in the early 20th century. (shrink)

Impossible Worlds focuses on an exciting new theory in philosophy, with applications in metaphysics, logic, and the theory of meaning. Its central topic is: how do we meaningfully talk and reason about situations which, unbeknownst to us, are impossible? This issue emerges as a central problem in contemporary philosophical accounts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition. The book is written bytwo of the leading philosophers in the area and contains original research of relevance to professional philosophers (...) and logicians working in metaphysics, philosophy of language, formal logic, and adjacentareas. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing the reader (...) with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

Pragmatic vindicatory genealogies provide both a cause and a rationale and can thus affect the space of reasons. But how far is the space of reasons affected by this kind of genealogical argument? What normative and evaluative implications do these arguments have? In this paper, I unpack this issue into three different sub-questions and explain what kinds of reasons they provide, for whom are these reasons, and for what. In relation to this final sub-question I argue, most importantly, that these (...) arguments are ambiguous about what they give us reasons for, meaning that they can be interpreted both as justifications for recognizing the normative standing of certain norms, values, and practices - and thus for living by them - and as excuses for those that do so. I illustrate this point by reference to the genealogical vindication of honour cultures, showing how the vindicatory argument can illuminate such case as one of excusing moral ignorance. Drawing on legal theory and moral philosophy, I show that different evaluative and normative implications hang on the result of the interpretation as either justification or excuse, and show that this ambiguity is a virtue rather than a limitation. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...) hold unrestrictedly – that in peculiar circumstances the same thing may at the same time be and not be, and contradictions may obtain in the world. This book opens with an examination of the famous logical paradoxes that appear to speak on behalf of contradictions (e.g., the Liar paradox, the set-theoretic paradoxes such as Cantor’s and Russell’s), and of the reasons for the failure of the standard attempts to solve them. It provides, then, an introduction to paraconsistent logics – non-classical logics in which the admission of contradictions does not lead to logical chaos –, and their astonishing applications, going from inconsistent data base management to contradictory arithmetics capable of circumventing Gödel’s celebrated Incompleteness Theorem. The final part of the book discusses the philosophical motivations and difficulties of dialetheism, and shows how to extract from Aristotle’s ancient words a possible reply to the dialetheic challenge. How to Sell a Contradiction will appeal to anyone interested in non-classical logics, analytic metaphysics, and philosophy of mathematics, and especially to those who consider challenging our most entrenched beliefs the main duty of philosophical inquiry. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

_Peirce’s Speculative Grammar: Logic as Semiotics _offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce’s theory of speculative grammar. The book traces the evolution of Peirce’s grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history of American philosophy and pragmatism, the philosophy of language, the (...) history of logic, and semiotics. (shrink)

This book deals with some Peripatetic philosophers of the Hellenistic age who were direct and indirect pupils of Aristotle. The main focus of the book is Aristotle's school in the Hellenistic period, a subject not particularly explored by the scholars. Three main issues are addressed in the chapters of the book: the problem of knowledge, the question of time, and the doctrine of the soul. More specifically the topics addressed are: the problem of sense-perception and the method of multiple explanations (...) in the field of meteorology in Aristotle, Theophrastus and Epicurus, the epistemology of Strato, the notion of time in Eudemus and Strato, the conception of sleep in Clearchus, the doctrine of divination in Cratippus. Finally, the Appendix examines the probable influence of the physics of Strato on the medicine of Asclepiades of Bithynia. These themes are investigated by comparing the positions of the Peripatetics with Aristotle's philosophy, but above all by contextualising the doctrines of the Peripatetics within the broader framework of Hellenistic philosophies. (shrink)

We reply to various arguments by Otavio Bueno and Edward Zalta (‘Object Theory and Modal Meinongianism’) against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds (...) of predication, exemplification and encoding. We show that encoding has fewer forerunners in the history of philosophy than Bueno and Zalta want, and that there’s a reason why the notion has been found baffling by some. (shrink)

Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this idea (...) constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin’s argument for multiple readings of Alpha graphs is circular. (shrink)

The first full-scale commentary on the Cratylus, one of Plato's most difficult and intriguing dialogues.

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

In Die Grundgesetze der Arithmetik (I, §48), Frege introduces his rule of the fusion of horizontals, according to which if an occurrence of the horizontal stroke is followed by another occurrence of the same stroke, either in isolation or “contained” in a propositional connective, the two occurrences can be fused with each other. However, the role of this rule, and of the horizontal sign more generally, is controversial; Michael Dummett notoriously claimed, for instance, that the horizontal is “wholly superfluous” in (...) Frege's logical system. In this paper, we challenge Dummett's view by providing a comprehensive analysis of the significance of the horizontal stroke. After some preliminary remarks, we argue that even if Frege's connectives in some sense “contain” the horizontal, yet they are total functions. Then, we take up the question of the sense expressed by the horizontal, and we claim that, unlike other sentential operators, the horizontal is not sense‐compositional. Finally, we consider the semantic and pragmatic aspects of Frege's horizontal in connection to his judgment stroke and the double judgment stroke. Contra Dummett, we argue that the horizontal is a special and indispensable element of Frege's logic. (shrink)

The aim of the present paper is twofold. First, we are interested in assessing the validity of one version of Kim’s argument against genuine higher level causation. Second, we discuss Wilson’s proposal to consider a weaker notion of emergence as genuinely metaphysical and compatible with Non-Reductive Physicalism. Our conclusion is that both proposals fail: the first in preempting genuine (strong) emergent causation, whereas the second in ensuring a genuinely metaphysical status to weak emergence. After all, Wilson’s proposal strongly depends on (...) the success of Kim’s, not only because it takes it as valid but, also, because in pursuing its own weaker model it shares the presuppositions that led Kim’s to failure. At the end of the day, Wilson’s conception of genuine weak emergence either breaks causal closure or is merely stipulative, namely confined at the descriptive level. (shrink)

In the tradition of substructural logics, it has been claimed for a long time that conjunction and inclusive disjunction are ambiguous:we should, in fact, distinguish between ‘lattice’ connectives (also called additive or extensional) and ‘group’ connectives (also called multiplicative or intensional). We argue that an analogous ambiguity affects the quantifiers. Moreover, we show how such a perspective could yield solutions for two well-known logical puzzles: McGee’s counterexample to modus ponens and the lottery paradox.

This is the first book to trace the doctrine of the guise of the good throughout the history of Western philosophy. It offers a chronological narrative exploring how the doctrine was formulated, the arguments for and against it, and the broader role it played in the thought of different philosophers. -/- In recent years there has been a rich debate about whether value judgment or value perception must form an essential part of mental states such as emotions and desires, and (...) whether intentional actions must always be done for reasons that seem good to the agent. This has sparked new theoretical interest in the classical doctrine of the guise of the good: whenever we desire (to do) something, we see it under the guise of the good; that is, we conceive of what we desire as good, desirable, or justified by reasons, in some way or another. This book offers a systematic historical treatment of the guise of the good. The chapters span from Ancient and Medieval philosophy (Socrates, Plato, Aristotle, Augustine, Aquinas), through the early modern period (Hobbes, Spinoza, Locke, Hume, Kant) and up to Elizabeth Anscombe's rediscovery in the 20th century after a period of relative neglect. Together they demonstrate how history can offer potential new models of the guise of the good—or new arguments against it—as well as to give a sense of how the guise of the good can bear on other philosophical issues. -/- The Guise of the Good: A Philosophical History is an excellent resource for scholars and students working on the history of ethics, philosophy of action, and practical reason. -/- 1. Introduction 2. Socrates and Plato 3. Aristotle and the Stoics 4. The Canon in Christian Philosophy 5. The Canon Doubted and Reaffirmed (1300-1600) 6. Descartes and Spinoza: Revision and Rejection 7. Empiricism: The Guise of the Good between Desire and Pleasure 8. The Guise of the Good in Hume and Kant 9. After Kant, Before Anscombe 10. Epilogue. A Fresh Start. (shrink)

A version of Bradley's regress can be endorsed in an effort to address the problem of the unity of states of affairs or facts, thereby arriving at a doctrine that I have called fact infinitism . A consequence of it is the denial of the thesis, WF, that all chains of ontological dependence are well-founded or grounded. Cameron has recently rejected fact infinitism by arguing that WF, albeit not necessarily true, is however contingently true. Here fact infinitism is supported by (...) showing that Cameron's argument for the contingent truth of WF is unsuccessful. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

Nominalism in formal ontology is still the thesis that the only acceptable domain of quantification is the first-order domain of particulars. Nominalists may assert that second-order well-formed formulas can be fully and completely interpreted within the first-order domain, thereby avoiding any ontological commitment to second-order entities, by means of an appropriate semantics called “substitutional”. In this paper I argue that the success of this strategy depends on the ability of Nominalists to maintain that identity, and equivalence relations more in general, (...) is first-order and invariant. Firstly, I explain why Nominalists are formally bound to this first-order concept of identity. Secondly, I show that the resources needed to justify identity, a certain conception of identity invariance, are out of the Nominalist’s reach. (shrink)

The paper discusses some formal difficulties concerning the theory of universals of Trope-Only ontologies, from which the formal theory of predication advanced by Trope-Only theorists seems to be irremediably affected. It is impossible to lay out a successful defense of a Trope-Only theory without Russellian types, but such types are ontologically inconsistent with tropes’ nominalism. Historically, Tropists’ first way to avoid the problem is appealing to the supervenience claim, which however fails on its terms and, thus, fails as a ground (...) for a solution to the higher-order or ‘type’ problem. A later solution involves the invariance of primitive equivalence relations in order to make universals ontologically innocuous. However, I argue that this latter solution fails to meet the requirements imposed on an ontologically unbiased nominalist attitude. So, this paper discusses how Trope-Only theories alter standard formal moves in Nominalism, and also is interested in clarifying further the formal assumptions for these problems. (shrink)

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, (...) proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the (...) claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)

The fitting attitude analysis of value states that for objects to have value is for them to be the fitting targets of attitudes. Good objects are the fitting targets of positive attitudes, while bad objects are the fitting targets of negative attitudes. The following paper presents an argument to the effect that value and the fittingness of attitudes differ in terms of their explanations. Whereas the fittingness of attitudes is explained, inter alia, by both the properties of attitudes and those (...) of their fitting targets, the explanation of value tends to have a different content. In particular, objects have value in virtue of the features that make them valuable, and these need not involve any attitudinal properties. If this is right, then there are reasons to doubt the claim that for objects to have value is just for them to be the fitting targets of attitudes. Insofar as value is a property, it appears to be distinct from the property of objects being the fitting targets of attitudes. (shrink)

In his later years, Peirce devoted much energy to the project of a book on logic, whose intended title was “Logic, considered as Semeiotic.” That the science of logic is better considered as semeiotic is indeed one of the most fundamental tenets of Peirce’s mature philosophy of logic. But what is the primary motivation for considering logic as semeiotic and what advantages did Peirce see in doing so? If logic is to be considered as semeiotic, this can only mean that (...) its objects and their functioning are to be described in purely semeiotical terms. But did Peirce succeed in providing such a description? This paper focuses on the semeiotical functioning of the fundamental triad of logic: terms (rhemes), propositions (dici-signs), and arguments; it also discusses the idea of an extension of the science of logic and offers examples of the kind of extension that Peirce had in mind. (shrink)

This paper first discusses how Russell and Hochberg have addressed some phenomena of relatedness, notably relational order, in a similarly ‘positionalist’ way, yet by appealing to different sorts of formal relations: “positions” in Russell's case and “ordering relations” in Hochberg's. After pointing out some shortcomings of both approaches, the paper then proposes an alternative view based on ‘o-roles’, which are, roughly speaking, ontological counterparts of the thematic roles postulated in linguistics. It is argued that o-roles are sort of middle-of-the-road entities (...) in the sense that they have the virtues of positions and those of ordering relations, without having their respective vices. Some tentative ideas on which o-roles should be acknowledged are also put forward. (shrink)

The debate on moral norms and standards is as old as philosophy itself. But social norms and conventions have finally started attracting their fair share of attention too. Their authority is the topic of two sophisticated books published in the last few years, namely David Owens’ Bound by Convention (2022) and Laura Valentini’s Morality and Socially Constructed Norms (2023). In this essay, I present the theoretical outlooks of these two books and then proceed to criticize both. First, I point out (...) a small but significant flaw in Valentini’s ontological account of social norms, according to which such norms obtain in virtue of the beliefs and commitments of rule-followers. More specifically, I argue that such an account – to make sense – should include a reference to the desires of rule followers too. Then, I develop Valentini's crucial criticism against Owens, according to which Owens' account cannot make sense of the obligatory character of certain social norms. In this respect I argue that Owens’ answer to such criticism fails in a way that reveals even deeper flaws than Valentini recognizes. (shrink)

We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. (...) Moreover, the finite model property is obtained for many cases, by modifying our completeness proof. This is an algebraic presentation of the proof of the finite model property discussed by Lafont [12] and Okada-Terui [17]. (shrink)

The screen is not a pre established object: it becomes a screen—and that screen—when it interacts with a group of elements and relates to a set of practices that produce it as a screen. In this process of becoming screen, a crucial step is played by the space in which the screen is located and where spectators gather. The confluence of screen and space changes our perception of both: the screen displays the situatedness of its action, and the space its (...) nature of medium. The landscape becomes a screenscape, in which individuals access images through which they negotiate with reality and others. Eventually, the insistence on becoming screen highlights the role of contingency and conjuncture in the process of mediation: screenscapes emerge according opportunities, conflicts, and potentialities. Hence a media archeology that, far from being linear and teleological, follows unpredicted paths and creates surprising links—a rhizomatic media archeology. (shrink)

Paraconsistent weak Kleene logic is the $3$-valued logic based on the weak Kleene matrices and with two designated values. In this paper, we investigate the poset of prevarieties of generalized involutive bisemilattices, focussing in particular on the order ideal generated by Α$\textrm{lg} $. Applying to this poset a general result by Alexej Pynko, we prove that, exactly like Priest’s logic of paradox, $\textrm{PWK}$ has only one proper nontrivial extension apart from classical logic: $\textrm{PWK}_{\textrm{E}}\textrm{,}$ PWK logic plus explosion. This $6$-valued logic, (...) unlike $\textrm{PWK} $, fails to be paraconsistent. We describe its consequence relation via a variable inclusion criterion and identify its Suszko-reduced models. (shrink)

It is well-known that by 1882, Peirce, influenced by Cayley’s, Clifford’s and Sylvester’s works on algebraic invariants and by the chemical analogy, had already achieved something like a diagrammatic treatment of quantificational logic of relatives. The details of that discovery and its implications to some wider issues in logical theory merit further investigation, however. This paper provides a reconstruction of the genesis of Peirce’s logical graphs from the early 1880s until 1896, covering the period of time during which he already (...) was acquainted with the works of his Johns Hopkins colleagues on the mathematical theory of graphs and was reaching the very first forms of his theory and method of... (shrink)

The explanatory objection against the fitting attitude account of value states that if the properties of attitudes explain fittingness facts, but do not always explain value facts, then value facts cannot be identical with or reduced to fittingness facts. One reply to this objection is to claim that the constitutive properties of attitudes also explain value facts, for they are enablers for the value possessed by an object. In this paper we argue that the enabling maneuver exposes FA to a (...) new explanatory objection, to the extent that the explanatory role played by the constitutive properties of attitudes in value facts is assumed to be different from the explanatory role they play in fittingness facts. (shrink)

A complex brain network, centered on the hippocampus, supports episodic memories throughout their lifetimes. Classically, upon memory encoding during active behavior, hippocampal activity is dominated by theta oscillations (6-10Hz). During inactivity, hippocampal neurons burst synchronously, constituting sharp waves, which can propagate to other structures, theoretically supporting memory consolidation. This 'two-stage' model has been updated by new data from high-density electrophysiological recordings in animals that shed light on how information is encoded and exchanged between hippocampus, neocortex and subcortical structures such as (...) the striatum. Cell assemblies (tightly related groups of cells) discharge together and synchronize across brain structures orchestrated by theta, sharp waves and slow oscillations, to encode information. This evolving dynamical schema is key to extending our understanding of memory processes. (shrink)